Filtered colimits in the effective topos
نویسنده
چکیده
It is shown that the “constant sheaves” functor ∇ : Sets → Eff does not preserve 1-filtered colimits, and that as a consequence of this, the full subcategory of Eff on the countable projective objects is not dense. © 2005 Elsevier B.V. All rights reserved.
منابع مشابه
Notes on Commutation of Limits and Colimits
We show that there are infinitely many distinct closed classes of colimits (in the sense of the Galois connection induced by commutation of limits and colimits in Set) which are intermediate between the class of pseudo-filtered colimits and that of all (small) colimits. On the other hand, if the corresponding class of limits contains either pullbacks or equalizers, then the class of colimits is...
متن کاملOn Sifted Colimits and Generalized Varieties
Filtered colimits, i.e., colimits over schemes D such that D-colimits in Set commute with finite limits, have a natural generalization to sifted colimits: these are colimits over schemes D such that D-colimits in Set commute with finite products. An important example: reflexive coequalizers are sifted colimits. Generalized varieties are defined as free completions of small categories under sift...
متن کاملA classification of accessible categories
For a suitable collection D of small categories, we define the D-accessible categories, generalizing the λ-accessible categories of Lair, Makkai, and Paré; here the λ-accessible categories are seen as the D-accessible categories where D consists of the λ-small categories. A small category C is called D-filtered when C-colimits commute with D-limits in the category of sets. An object of a catego...
متن کاملA characterisation of algebraic exactness
An algebraically exact category is one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these limits and colimits as hold in any variety. Such categories were studied by Adámek, Lawvere and Rosický: they characterised them as the categories with small lim...
متن کاملSheaves of Ordered Spaces and Interval Theories
We study the homotopy theory of locally ordered spaces, that is manifolds with boundary whose charts are partially ordered in a compatible way. Their category is not particularly well-behaved with respect to colimits. However, this category turns out to be a certain full subcategory of a topos of sheaves over a simpler site. The ambient topos makes available some general homotopical machinery.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006